Integrating Temporal

ارزیابی شاخص‌ ذخیره آب پوشش‌ گیاهی (VSWI) تصاویر سری زمانی سنجنده مودیس در پایش خشکسالی حوضه آبخیز گاوخونی

Drought is one of the main factors of ecological potential stress due to the wide extension of the time scale and impact space. The performance of regional drought monitoring using the meteorological indicators is a challenge due to spatial distribution constraints. In present study, 168 time series images including NDVI and LST indices were used. Integrating these two indices, VSWI was used to...

Spatial-temporal anisometries following right parietal damage.

Patients with right parietal damage often have a lateralized deficit of spatial attention. In addition to a spatial deficit, such patients have also been reported to have a non-spatial deficit in temporal processing. Here, we tested the hypothesis that these spatial and temporal deficits might be linked if the right temporal-parietal cortex is important in integrating spatial and temporal atten...

Integrating LTL Model Checking with Automated Theorem Proving

Theorem proving is a general-purpose veriication technique that typically needs to be guided by human insight whereas model checking works in the more constrained domain of essentially nite-state systems but is largely automatic. There are several advantages to integrating the two techniques since theorem proving can be used to compose proofs where individual steps or lemmas have been veriied u...

Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows

The treatment of exogenous events in planning is practically important in many domains. In this paper we focus on planning with exogenous events that happen at known times, and affect the plan actions by imposing that the execution of certain plan actions must be during some time windows. When actions have durations, handling such constraints adds an extra difficulty to planning, which we addre...

Integrating Metri and Qualitative Temporal Reasoning